Constructive Nonstandard Representations of Generalized Functions
نویسنده
چکیده
Using techniques of nonstandard analysis Abraham Robinson showed that it is possible to represent each Schwartz distribution T as an integral T () = R f, where f is some nonstandard smooth function. We show that the theory based on this representation can be developed within a constructive setting.
منابع مشابه
On the Integral Representations of Generalized Relative Type and Generalized Relative Weak Type of Entire Functions
In this paper we wish to establish the integral representations of generalized relative type and generalized relative weak type as introduced by Datta et al [9]. We also investigate their equivalence relation under some certain conditions.
متن کاملRemarks on a Constructive Sheaf Model of Nonstandard Analysis
The sheaves over the category of lters, with a joint cover topology, serve as a universe of sets where nonstandard analysis can be developed along constructive principles. In this paper we show that all functions between internal sets in this model are internal. We also illustrate how this model can be used by giving a constructive nonstandard proof of the Implicit Function Theorem.
متن کاملNonstandard principles for generalized functions
We show that principles from nonstandard analysis hold to some extent for nonlinear generalized functions. The generalized functions under consideration are constructed as families of functions modulo a free filter, as it is usually done in applied analysis. In contrast with models of nonstandard analysis, we do not require the filter to be an ultrafilter. The principles are intended to be used...
متن کاملA nonstandard proof of a lemma from constructive measure theory
The conceptual gulf between constructive analysis (in the sense of Bishop [1]) and nonstandard analysis (in the sense of Robinson [7]) is vast, despite the historical genesis of both methodologies from foundational considerations. Those who use nonstandard arguments often say of their proofs that they are “constructive modulo an ultrafilter”; implicit in this statement is the suggestion that su...
متن کاملExistence and Uniqueness Results for a Nonstandard Variational-Hemivariational Inequalities with Application
This paper aims at establishing the existence and uniqueness of solutions for a nonstandard variational-hemivariational inequality. The solutions of this inequality are discussed in a subset $K$ of a reflexive Banach space $X$. Firstly, we prove the existence of solutions in the case of bounded closed and convex subsets. Secondly, we also prove the case when $K$ is compact convex subsets. Fina...
متن کامل